Check that the default is after all the cases in a switch statement.

<p>
</p>
